2006

国際会議(査読付)

[1] Moonzoo Kim and Eun-Hye Choi, "Formal Modeling and Verification of Management on a Group of Network Security Appliances", Proc. of the 7th International Workshop on Information Security Applications, August 2006.

テクニカルレポート

[1] Moonzoo Kim and Eun-Hye Choi, "Formal Modeling and Verification of Management on a Group of Network Security Appliances", 算譜科学研究速報, (PS-2006-007), July 2006.